منابع مشابه
Inverting onto functions might not be hard
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence that such functions are hard, for example, if TFNP is computable in polynomial-time does this imply the polynomial-time hierarchy collapses? We give a relativized negative answer to this question by exhibiting an oracle...
متن کاملWondering What Might Be
This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresp...
متن کاملVertex Cover Might be Hard to Approximate to within 2-\varepsilon
Based on a conjecture regarding the power of unique 2-prover-1-round games presented in [Khot02], we show that vertex cover is hard to approximate within any constant factor better than 2. We actually show a stronger result, namely, based on the same conjecture, vertex cover on k-uniform hypergraphs is hard to approximate within any constant factor better than k.
متن کاملInconspicuous Nasoethmoidal Encephalocele Might Be Wrongly Diagnosed
291 Dear Editor-in-Chief, We have read the paper of Song et al. [1] on frontonasal dysplasia deformity. It was an interesting discussion of an image that depicts a boy with a nose deformity, and it was reported that no basal encephalocele was observed. We would like to point out that we had a similar case of a girl with the same nose deformity. As in the report by Song et al., our patient also ...
متن کاملWhat Might Cognition Be, If Not Computation?
structure of the target phenomenon, for various reasons researchers in this approach standardly provide a concrete model: an actual computer programmed so that (hopefully) it realizes the same (or a relevantly similar) abstract computational system as is realized by the cognitive systems under study. If the concrete model appears able to perform actual cognitive tasks in much the way people do,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete & Computational Geometry
سال: 2013
ISSN: 0179-5376,1432-0444
DOI: 10.1007/s00454-012-9475-8